different types of relation in discrete mathematics